\begin{tabbing}
when{-}after($e$;${\it info}$;${\it pred?}$;${\it init}$;${\it Trans}$;${\it val}$)
\\[0ex]$\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$\=if first($e$)$\rightarrow$ $\langle$$\lambda$$x$.${\it init}$(loc($e$),$x$)$,\,$${\it Trans}$(loc($e$),kind($e$),${\it val}$($e$),$\lambda$$x$.${\it init}$(loc($e$),$x$))$\rangle$\+
\\[0ex]else \=let $p$ = when{-}after(pred($e$);${\it info}$;${\it pred?}$;${\it init}$;${\it Trans}$;${\it val}$) in \+
\\[0ex]$\langle$2of($p$)$,\,$${\it Trans}$(loc($e$),kind($e$),${\it val}$($e$),2of($p$))$\rangle$ fi
\-\-\\[0ex]\emph{(recursive)}
\end{tabbing}